%%    MACROS FOR RHOPI PAPER     %%


\newcommand{\rpi}{\rho\pi}
\newcommand{\rCCS}{\rho CCS}
\newcommand{\hopip}{HO$\pi$$^{+}$}

% Process constructs

\newcommand{\msg}[1]{\langle #1 \rangle}
\newcommand{\st}{\text{ } | \text{ }}
\newcommand{\sub}[2]{ ^{#1}\slash_{#2}}
\newcommand{\mem}{m:}
\newcommand{\com}[1]{\textbf{[ C :} #1\textbf{]}}
\newcommand{\su}[2]{\{\sub{#1}{#2}\}}
\newcommand{\set}{A\vdash}
\newcommand{\barb}[2]{\downarrow^{#1}_{#2}}
\newcommand{\eq}{\equiv_\nu}
\newcommand{\tr}[1]{\llparenthesis#1\rrparenthesis}
\newcommand{\congR}{\equiv_R}
\newcommand{\trigop}{\triangleright}
\newcommand{\trig}[2]{#1 \trigop #2}
\newcommand{\parop}{\mid}
\newcommand{\co}[1]{\overline{ #1 }}

\newcommand{\new}[2]{\nu #1.\,#2}
\newcommand{\newop}[1]{\nu #1.\,}															
\newcommand{\nil}{\mathbf{0}}
\newcommand{\conn}[3]{#1\mapsto(#2,#3)}
\newcommand{\binder}[2]{#1 = #2}

\newcommand{\memCCS}[5]{[(#1,#2)\rangle #3 \langle (#4,#5)]}

\newcommand{\tick}{$\surd$}

% Relations
\newcommand{\cc}{\sim}
\newcommand{\fw}{\twoheadrightarrow}
\newcommand{\bk}{\rightsquigarrow}
\newcommand{\fwt}{\twoheadrightarrow^*}
\newcommand{\bkt}{\rightsquigarrow^*}
\newcommand{\red}{\rightarrow}
\newcommand{\redt}{\rightarrow^*}
\newcommand{\redl}[1]{\xrightarrow{#1}}
\newcommand{\rcal}{\mathcal{R}}
\newcommand{\wred}{\Rightarrow}

\newcommand{\riff}{\Longleftrightarrow}
\newcommand{\causeq}{\asymp}

% Simulations
\newcommand{\ssimb}{\stackrel{\cdot}{\sim}}
\newcommand{\wsimb}{\stackrel{\cdot}{\approx}}
\newcommand{\scongb}{\sim}
\newcommand{\wcongb}{\approx}

% Contexts
\newcommand{\ectx}{\mathbb{E}}
\newcommand{\cctx}{\mathbb{C}}
\newcommand{\hole}{\cdot}

% Various sets

\newcommand{\names}{\mathcal{N}}
\newcommand{\ids}{\mathcal{I}}
\newcommand{\ekeys}{\mathcal{E}}
\newcommand{\keys}{\mathcal{K}}
\newcommand{\vars}{\mathcal{V}}
\newcommand{\nats}{\mathbb{N}}
\newcommand{\tags}{\mathcal{T}}
\newcommand{\procs}{\mathcal{P}}
\newcommand{\confs}{\mathcal{C}}
\newcommand{\agents}{\mathcal{A}}
\newcommand{\cprocs}{\mathcal{P}^{\bullet}}
\newcommand{\cconfs}{\mathcal{C}^{\bullet}}
\newcommand{\cagents}{\mathcal{A}^{\bullet}}

% Figures

\newcommand{\myfig}[3]{
\begin{figure}[tbp]
  \footnotesize{
  #1
  }
  \caption{#2}
  \label{#3}
\end{figure}
}


% Various operators

\newcommand{\syntaxdef}{\mathrel{::=}}
\newcommand{\ou}{\; \mid \; }
\newcommand{\vect}[1]{\tilde{#1}}
\newcommand{\rset}[1]{\{ #1 \}}
\newcommand{\barbop}[1]{\downarrow_{#1}}
\newcommand{\angbrk}[1]{\langle #1 \rangle}
\newcommand{\rquote}{\backslash}
\newcommand{\rev}[1]{#1_{\bullet}}



% Various functions

\newcommand{\del}{\gamma}
\newcommand{\fn}{\mathtt{fn}}
\newcommand{\fv}{\mathtt{fv}}
\newcommand{\rmatch}{\mathtt{match}}
\newcommand{\addG}{\mathtt{addG}}

% Various symbols

\newcommand{\rproof}{\emph{Proof. }}
\newcommand{\rqed}{$\Box$}
\newcommand{\rfun}{\rightarrow}

% Various names

\newcommand{\Nil}{\mathtt{Nil}}
\newcommand{\Par}{\mathtt{Par}}
\newcommand{\Msg}{\mathtt{Msg}}
\newcommand{\Trig}{\mathtt{Trig}}
\newcommand{\Mem}{\mathtt{Mem}}
\newcommand{\rtok}{\mathtt{t}}
\newcommand{\Rew}{\mathtt{Rew}}
\newcommand{\Kill}{\mathtt{Kill}}
\newcommand{\KillT}{\mathtt{KillT}}
\newcommand{\KillM}{\mathtt{KillM}}
\newcommand{\KillP}{\mathtt{KillP}}
\newcommand{\Turing}{\mathtt{\Theta}}
\newcommand{\ttA}{\mathtt{A}}
\newcommand{\ttP}{\mathtt{P}}
